$\forall$$L$:System List.
\\[0ex]($\forall$$A$,$B$$\in$$L$.$A$ $\parallel$ $B$)
\\[0ex]$\Rightarrow$ \{$\oplus$($L$) $\in$ System \& ($\forall$$M$:System. ($\forall$$B$$\in$$L$. $M$ $\parallel$ $B$) $\Rightarrow$ $M$ $\parallel$ $\oplus$($L$)) \& ($\forall$$B$$\in$$L$. $B$ $\subseteq$ $\oplus$($L$))\}